Functional compiler description

Game Description Language Compiler Construction

We describe a multilevel algorithm compiling a general game description in GDL into an optimized reasoner in a low level language. The aim of the reasoner is to efficiently compute game states and perform simulations of the game. This is essential for many General Game Playing systems, especially if they use simulation-based approaches. Our compiler produces a faster reasoner than similar appro...

RDLC2: The RAMP Model, Compiler & Description Language

i 2 Introduction 1 2.1 Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2.2 RAMP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.3 RDL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.4 RDF . . . . . . . . . . . . . . . . . . . . . . . . . . ....

The compiler for the XMTC parallel language: Lessons for compiler developers and in-depth description

In this technical report, we present information on the XMTC compiler and language. We start by presenting the XMTC Memory Model and the issues we encountered when using GCC, the popular GNU compiler for C and other sequential languages, as the basis for a compiler for XMTC, a parallel language. These topics, along with some information on XMT specific optimizations were presented in [10]. Then...

Heap Prooling of a Lazy Functional Compiler

Compiler Construction in a Functional Setting

This paper discusses author's experience in using a functional language as the vehicle for teaching compiler construction. The course has been taught several times at author's university with increasing success. The main claim is that the use of a functional language has allowed to present more algorithms and that they are better understood than when an imperative language is used. Also, studen...